iterative deepening search